   Syntax       label %:= PRODUCT(%iteration {%,%iteration ...}%)% expression
   Purpose      Computes the product over an iteration

   %Example%
   þLABEL A[1..2, 1..2], B[1..2,1..2], C[1..2,1..2]
   þITERATE I FROM 1 TO 2
   þITERATE J FROM 1 TO 2
   þITERATE K FROM 1 TO 2
   þA[I,J] : a[I,J]
   þB[I,J] : b[I,J]
   þC[I,J]:=PRODUCT(K) A[I,K] + B[K,J]
   C[1,1] : (a[1,1] + b[1,1])*(a[1,2] + b[2,1])
   C[2,1] : (a[2,1] + b[1,1])*(a[2,2] + b[2,1])
   C[1,2] : (a[1,1] + b[1,2])*(a[1,2] + b[2,2])
   C[2,2] : (a[2,1] + b[1,2])*(a[2,2] + b[2,2])

   PROCEDURE Example(INTEGER N ; LABEL A,B,C) ;
     ITERATE I FROM 1 TO N ;
     ITERATE J FROM 1 TO N ;
     ITERATE K FROM 1 TO N ;
     C[I,J]:=PRODUCT(K) A[I,K] + B[K,J]
   EXIT
